$\forall$$T$:Type, ${\it as}$, ${\it bs}$:$T$ List. ${\it as}$ $=$ ${\it bs}$ $\Rightarrow$ agree\_on\_common($T$;${\it as}$;${\it bs}$)